Himpunan penyelesaian persamaan linear tiga variabel